Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps
نویسنده
چکیده
Telecommunication services are provided as the joint effort of components, which collaborate in order to achieve the goal(s) of the service. UML 2.0 collaborations can be used to model services. Furthermore, they allow services to be described modularly and incrementally, since collaborations can be composed of subordinate collaborations. For such an approach to work, it is necessary to capture the exact dependencies between the subordinate collaborations. This paper presents the results of an experiment on using Use Case Maps (UCMs) for describing those dependencies, and for synthesizing the state-machine behaviour of service components from the joint information provided by the UML collaborations and the UCM diagrams.
منابع مشابه
X3D-UML: 3D UML State Machine Diagrams
X3D-UML utilises X3D (eXtensible 3D) to enable standards-based advanced 3D UML visualisations. Using X3D-UML, 3D UML State Machine Diagrams have been evaluated against actual user tasks and data, using the Sequential Evaluation methodology. The results of User Task Analysis, Heuristic Evaluation and Formative Evaluation phases provide clear evidence that the use of UML extended with 3D is a pra...
متن کاملA Software Tool for Generating UML Concurrent Communication Protocol Specification from Service Specification
Manually synthesizing specifications for concurrent and distributed communication protocol entities from a service specification, which is modeled in the UML state machine with composite states is a time consuming and labor-intensive task. To save a time and generate error free specifications for distributed protocol entities modeled in UML state machines, we introduce a tool, called the UML pr...
متن کاملDynamic Expansion of Behaviour Trees
Artificial intelligence in games is typically used for creating player’s opponents. Manual edition of intelligent behaviors for Non-Player Characters (NPCs) of games is a cumbersome task that needs experienced designers. Our research aims to assist designers in this task. Behaviours typically use recurring patterns, so that experience and reuse are crucial aspects for behavior design. The use o...
متن کاملAligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services
In our service engineering approach, services are specified by UML 2.0 collaborations and activities, focusing on the interactions between cooperating entities. To execute services, however, we need precise behavioral descriptions of physical system components modeling how a component contributes to a service. For these descriptions we use the concept of state machines which form a suitable inp...
متن کاملSynthesizing UML Statecharts from Requirements Scenarios + Propositional Constraints
The Unified Modeling Language (UML) (OMG 2001) provides a standardized collection of notations for describing artifacts in a software-intensive system. Each UML notation represents a particular viewpoint of a software (sub)system. For example, UML sequence diagrams describe system behavior in terms of the interaction scenarios between multiple objects. UML statecharts, on the other hand, descri...
متن کامل